SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
FILE WASN'T FOUND IN ANY RPM FILE. TRYING TO SEARCH THIS FILE ON FTP SERVERS
You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 641 - 680 hits of 5458. Search took 0.09 seconds.
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
27
27

Search results for id :
Filename  Distribution  File size
idris-common-1.3.2-3.fc32.noarch.rpm  Fedora 32  4011 kB  Info
idris-common-1.3.2-1.fc31.noarch.rpm  Fedora 31  4011 kB  Info
idris-1.3.4-6.fc38.x86_64.rpm  Fedora 38  27106 kB  Info
idris-1.3.4-6.fc38.src.rpm  Fedora 38  1711 kB  
idris-1.3.4-5.fc37.x86_64.rpm  Fedora 37  19772 kB  Info
idris-1.3.4-5.fc37.src.rpm  Fedora 37  1707 kB  
idris-1.3.4-5.fc37.src.rpm  Fedora 37  1707 kB  
idris-1.3.4-5.fc37.riscv64.rpm  Fedora 37  72029 kB  
idris-1.3.4-3.fc36.x86_64.rpm  Fedora 36  19671 kB  Info
idris-1.3.4-3.fc36.src.rpm  Fedora 36  1694 kB  
idris-1.3.4-18.fc42.x86_64.rpm  Fedora Other  22963 kB  
idris-1.3.4-18.fc42.x86_64.rpm  Rawhide  22963 kB  Info
idris-1.3.4-18.fc42.src.rpm  Rawhide  1718 kB  
idris-1.3.4-18.fc42.src.rpm  Fedora Other  1718 kB  
idris-1.3.4-18.fc42.s390x.rpm  Rawhide  52065 kB  
idris-1.3.4-18.fc42.s390x.rpm  Fedora Other  52065 kB  
idris-1.3.4-18.fc42.ppc64le.rpm  Rawhide  29343 kB  
idris-1.3.4-18.fc42.ppc64le.rpm  Fedora Other  29343 kB  
idris-1.3.4-18.fc42.aarch64.rpm  Rawhide  24233 kB  
idris-1.3.4-18.fc42.aarch64.rpm  Fedora Other  24233 kB  
idris-1.3.4-17.fc41.x86_64.rpm    22960 kB  Info
idris-1.3.4-17.fc41.src.rpm    1718 kB  
idris-1.3.4-17.fc41.s390x.rpm    52058 kB  
idris-1.3.4-17.fc41.ppc64le.rpm    29350 kB  
idris-1.3.4-17.fc41.aarch64.rpm    24229 kB  
idris-1.3.4-14.fc40.x86_64.rpm  Fedora 40  30727 kB  Info
idris-1.3.4-14.fc40.src.rpm  Fedora 40  1711 kB  
idris-1.3.4-14.fc40.s390x.rpm  Fedora 40  65602 kB  
idris-1.3.4-14.fc40.ppc64le.rpm  Fedora 40  37205 kB  
idris-1.3.4-14.fc40.aarch64.rpm  Fedora 40  32473 kB  
idris-1.3.4-12.fc39.x86_64.rpm  Fedora 39  30721 kB  Info
idris-1.3.4-12.fc39.src.rpm  Fedora 39  1711 kB  
idris-1.3.4-12.fc39.s390x.rpm  Fedora 39  65563 kB  
idris-1.3.4-12.fc39.ppc64le.rpm  Fedora 39  37208 kB  
idris-1.3.4-12.fc39.aarch64.rpm  Fedora 39  32468 kB  
idris-1.3.4-1.fc35.x86_64.rpm  Fedora 35  19680 kB  Info
idris-1.3.4-1.fc35.src.rpm  Fedora 35  1694 kB  
idris-1.3.3-6.20210626git2ef8238d0.fc35.x86_64.rpm  Fedora 35  19687 kB  Info
idris-1.3.3-6.20210626git2ef8238d0.fc35.src.rpm  Fedora 35  1695 kB  
idris-1.3.3-3.fc34.x86_64.rpm  Fedora 34  18934 kB  Info

7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
27
27
  
ICM